A Formal Theory of Cooperative TU-Games
نویسندگان
چکیده
Results of game theory are often the keys to decisions of economical and political executives. They are also used to create internal tools of many decision making software. For example, coordination games may be cooperative games, when the players choose the strategies by a consensus decision making process, and game trees are used to represent some key cooperative games. Our theory of cooperative games with transferable utilities makes it possible to deliver a formal certificate that contains statements and proofs with each result of any procedure in theory of cooperative TU-games. Such formal certificates can be archived and audited by independent experts to guarantee that the process that lead to the decision is sound and pertaining. As we use an automated proof checker, the review only has to guarantee that the statements of the certificate are correct. The proofs contained in the certificate are guaranteed automatically by the proof checker and our formal theory.
منابع مشابه
Cooperative Benefit and Cost Games under Fairness Concerns
Solution concepts in cooperative games are based on either cost games or benefit games. Although cost games and benefit games are strategically equivalent, that is not the case in general for solution concepts. Motivated by this important observation, a new property called invariance property with respect to benefit/cost allocation is introduced in this paper. Since such a property can be regar...
متن کاملPricing and Advertising Decisions in a Three-level Supply Chain with Nash, Stackelberg and Cooperative Games
Pricing and advertising are two important marketing strategies in the supply chain management which lead to customer demand’s increase and therefore higher profit for members of supply chains. This paper considers advertising, and pricing decisions simultaneously for a three-level supply chain with one supplier, one manufacturer and one retailer. The amount of market demand is influenced ...
متن کاملA Closed-Form Formula for the Fair Allocation of Gains in Cooperative N-Person Games
Abstract This paper provides a closed-form optimal solution to the multi-objective model of the fair allocation of gains obtained by cooperation among all players. The optimality of the proposed solution is first proved. Then, the properties of the proposed solution are investigated. At the end, a numerical example in inventory control environment is given to demonstrate the application and t...
متن کاملA note on the monotonicity and superadditivity of TU cooperative games∗
In this note we make a comparison between the class of monotonic TU cooperative games and the class of superadditive TU cooperative games. We first provide the equivalence between a weakening of the class of superadditive TU games and zero-monotonic TU games. Then, we show that zero-monotonic TU games and monotonic TU games are different classes. Finally, we show under which restrictions the cl...
متن کاملSolving a Two-Period Cooperative Advertising Problem Using Dynamic Programming
Cooperative advertising is a cost-sharing mechanism in which a part of retailers' advertising investments are financed by the manufacturers. In recent years, investment among advertising options has become a difficult marketing issue. In this paper, the cooperative advertising problem with advertising options is investigated in a two-period horizon in which the market share in the second period...
متن کامل